Collaboration within the Inria/Microsoft Research Joint Centre

We participate in the collaboration Mathematical Components 2 with Microsoft Research. Currently, the main thrust lies around the exploitation of results in the Mathematical Components library, which was our main point of focus until the completion of the proof of the Feit-Thompson theorem.